Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and ∆12 -CA + BI: Part I Michael Rathjen Department of Pure Mathematics University of Leeds

Source URL: www1.maths.leeds.ac.uk

Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil)

Source URL: www.illc.uva.nl

• Mathematical logic
• Mathematics
• Set theory
• Descriptive set theory
• Wadge hierarchy
• Determinacy
• Axiom of countable choice
• Ordinal numbers
• -consistent theory
• Ordinal arithmetic

Balls into bins via local search: cover time and maximum load Karl Bringmann1 , Thomas Sauerwald2 , Alexandre Stauffer3 , and He Sun1 1 2

Source URL: people.mpi-inf.mpg.de

• Graph theory
• Mathematics
• Expander graph
• Balls into bins
• NP-complete problems
• Quiver
• Eternal dominating set

Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematics
• Logic
• Automated theorem proving
• Z notation
• Set theory
• S
• Resolution
• Equality
• Mereology
• Axiom of extensionality

Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

Source URL: www1.maths.leeds.ac.uk

BLAST 2010 Katˇ etov order David Meza A survey on the Katˇetov order

Source URL: spot.colorado.edu

• Mathematics
• Set theory
• Order theory
• Ideal
• Prime ideal

FGA Free Group Algorithms A GAP4 Package Versionby

Source URL: www.gap-system.org

• Group theory
• Geometry
• Mathematics
• Combinatorial group theory
• Combinatorics on words
• Geometric group theory
• Generating set of a group
• Finitely generated group
• Presentation of a group
• P-group
• Free group

Journal of Machine Learning Research2801 Submitted 1/08; Revised 9/08; PublishedRobust Submodular Observation Selection Andreas Krause

Source URL: select.cs.cmu.edu

• Computational complexity theory
• Theory of computation
• Mathematics
• Submodular set function
• Greedy algorithm
• Algorithm
• Optimization problem
• Reduction
• NP
• Time complexity

THE NUMBER OF GRAPHS AND A RANDOM GRAPH WITH A GIVEN DEGREE SEQUENCE Alexander Barvinok and J.A. Hartigan November 2011 Abstract. We consider the set of all graphs on n labeled vertices with prescribed

Source URL: www.math.lsa.umich.edu

• Mathematics
• Mathematical analysis
• Central limit theorem
• Regular graph
• Matrix
• Entropy
• Number theory
• Graph coloring
• Discriminant of an algebraic number field
• Differential forms on a Riemann surface